1. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
2. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
3. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
4. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
5. Algebraic analysis of basic propositional logic
Author: by: Majid Alizadeh,^AAlizadeh, Majid
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
6. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
10
.
I5
1988
7. Algebraic foundations in computer science :
Author: edited by Werner Kuich, George Rahonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
A44
2011
8. Algebraic logic
Author: Halmos, Paul R.)Paul Richard(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic,، Logic Symbolic and mathematical
Classification :
QA
266
.
H3
9. Algebraic methods of mathematical logic
Author: Rieger, Ladislav
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Boolean
Classification :
QA
9
.
R6413
10. Algebraic perspectives on substructural logics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
11. Algebraic systems
Author: )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA
.
M3413
162
12. Algebraic systems
Author: Maltsev, Anatolii Ivanovich
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
1
.
G7
v
.
192
13. Algebraic systems
Author: Mal'tsev, Anatolii Ivanovich, 9091-7691
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
162
.
M3413
1973
14. Algebraic systems
Author: / (by) A. I. Malcev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA
162
.
M3513
1973
15. Algorithmic and Symbolic Combinatorics
Author: / Stephen Melczer, Melczer, Stephen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Discrete mathematics, Algorithms,a05
Classification :
QA9
16. An algebraic approach to non-classical logics
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
QA
,
9
,
R215
,
1974
17. An algebraic approach to non-classical logics
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical
Classification :
511
.
3
R224
18. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, D. W.)Donald W.(,5391-, D. W. Barnes, J. M. Mack
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
19. An algebraic introduction tomathematical logic
Author: Barnes, Donald W.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Algebraic logic
Classification :
QA
9
.
B27
